A prime is an irreducible in an integral domain.